strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- dishonor n. 拒付；不名誉；丢脸 vt. 使蒙羞；玷辱
- dust n. 灰尘；尘埃；尘土 vt. 撒；拂去灰尘 vi. 拂去灰尘；化为粉末 n. (Dust)人名；(德、俄)杜斯特
- unrelentingly adv. 无情地
- calorific adj. 发热的，生热的
- capping n. 加盖；（美）（拍卖时）使用假买手诱骗哄抬；雷管接上引线；[岩] 盖层岩 v. 覆盖（cap的ing形式）；给…戴帽
- visionary n. 空想家；梦想者；有眼力的人 adj. 梦想的；幻影的
- generalisation n. 一般化; 普通化; 归纳; 概论
- Oleg n. 奥列格（俄罗斯名）
- backtalk n. （美）顶嘴；[通信] 工作联络电话
- elaine n. 伊莱恩（女子名）
- elusiveness n. 狡诈；易闪避；飘忽不定；巧妙逃避
- dayroom n. 休息室；娱乐室
- allied adj. 联合的；同盟的；与…同属一系 v. 联合（ally的过去分词）
- invoicing n. 发票；[物价] 货品计价 v. 开发票（invoice的ing形式）
- rust n. 锈；生锈；[植保] 锈病 vt. 使生锈；腐蚀 vi. 生锈；成铁锈色；变迟钝 n. (Rust)人名；(英)拉斯特；(德、捷、瑞典)鲁斯特；(法)吕斯特
- yapping vi. 狂吠；哇啦哇啦地瞎说 vt. 瞎讲 n. 狂吠声；废话；笨蛋 n. (Yap)人名；(东南亚国家华语)叶
- scant adj. 不足的；缺乏的；勉强够的 vt. 减少；节省；限制
- untoward adj. 不幸的；麻烦的；倔强的；困难的
- wickedness n. 邪恶；不道德
- estrous adj. 有发情期特征的，性欲冲动的；动情期的，求偶期的
